Formal Ontology and Principles of GOL
نویسندگان
چکیده
The General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of toplevel ontologies which can be used as a basis for constructing domain-specific ontologies. The present paper gives an overview about the basic categories and the principles of GOL. GOL is part of the work of the Ontologies in Medicine (Onto-Med) research group at the University of Leipzig, a collaborative research effort of the Institute for Medical Informatics, Statistics and Epidemiology (IMISE) and the Institute for Computer Science (IfI). It represents work in progress toward a proposal for an integrated family of top-level ontologies and will be applied to several fields of medicine, in particular to the field of Clinical Trials.
منابع مشابه
BARBARA HELLER and HEINRICH HERRE ONTOLOGICAL CATEGORIES IN GOL
General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a system of top-level ontologies which can be used as a basis for building domain-specific ontologies. The present paper gives an overview about the basic categories of the GOL-ontology. GOL is part of the work of the research group Ontologies in Medicine (Onto-Med...
متن کاملWhat is an Upper Level Ontology ? Wolfgang Degen
In the present paper we make some contributions to the theory of upper level categories. Every domain-speciic ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. It turns out that the top-level ontology of the well-known standard modelling languages KIF (Knowledge Interchange Format), F-logic (Frame-Logic), and C...
متن کامل?Logic and Formal Ontology: Is the Final Formal Ontology Possible
Musa Akrami AbstractMany philosophers and logicians have contemplated the relationship between ontology and logic. The author of this paper, working within a Bolzanoan-Husserlian tradition of studying both ontology and logic, considers ontology as the science of the most general features of beings and the most general relations among them. He considers logic as the science concernin...
متن کاملContributions to the Axiomatic Foundation of Upper-Level Ontologies
In the present paper we make some contributions to the theory of upper level ontologies. Every domain-speci c ontology must use as a framework some upper-level ontology which describes the most general, domain-independent categories of reality. It turns out that the top-level ontology of the well-known standard modelling languages KIF (Knowledge Interchange Format), F-logic (Frame-Logic), and C...
متن کاملGeneral Ontological Language (GOL) A Formal Framework for Building and Representing Ontologies
General Ontological Language (GOL) is a formal framework for representing and building ontologies. The purpose of GOL is to provide a library of top-level ontologies which can be used as a framework for building more specific ontologies. This report is a living document of the GOL-project of the University of Leipzig. GOL is part of the work of the Research Group Ontologies in Medicine (Onto-Me...
متن کامل